$\forall$$a$,$b$,$c$:rationals. guard((qle($a$; $b$) $\Leftarrow\!\Rightarrow$ qle(($c$ + $a$); ($c$ + $b$))))